; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sub i64 %"SymVar_0", 902749805
  %".5" = zext i64 %"SymVar_0" to i128
  %".6" = zext i64 0 to i128
  %".7" = shl i128 %".6", 64
  %".8" = or i128 %".5", %".7"
  %".9" = zext i64 7 to i128
  %".10" = udiv i128 %".8", %".9"
  %".11" = trunc i128 %".10" to i64
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = lshr i64 %".11", %".13"
  %".15" = and i64 15, %".14"
  %".16" = or i64 1, %".15"
  %".17" = sub i64 64, %".16"
  %".18" = trunc i64 %".17" to i8
  %".19" = zext i8 %".18" to i64
  %".20" = and i64 %".19", 63
  %".21" = lshr i64 127996265, %".20"
  %".22" = zext i8 3 to i64
  %".23" = and i64 %".22", 63
  %".24" = lshr i64 %".11", %".23"
  %".25" = and i64 15, %".24"
  %".26" = or i64 1, %".25"
  %".27" = trunc i64 %".26" to i8
  %".28" = zext i8 %".27" to i64
  %".29" = and i64 %".28", 63
  %".30" = shl i64 127996265, %".29"
  %".31" = or i64 %".21", %".30"
  %".32" = zext i8 4 to i64
  %".33" = and i64 %".32", 63
  %".34" = lshr i64 %".31", %".33"
  %".35" = and i64 15, %".34"
  %".36" = or i64 1, %".35"
  %".37" = sub i64 64, %".36"
  %".38" = trunc i64 %".37" to i32
  %".39" = zext i32 %".38" to i64
  %".40" = trunc i64 %".39" to i8
  %".41" = zext i8 %".40" to i64
  %".42" = and i64 %".41", 63
  %".43" = lshr i64 %"SymVar_0", %".42"
  %".44" = zext i8 3 to i64
  %".45" = and i64 %".44", 63
  %".46" = lshr i64 %".11", %".45"
  %".47" = and i64 15, %".46"
  %".48" = or i64 1, %".47"
  %".49" = sub i64 64, %".48"
  %".50" = trunc i64 %".49" to i32
  %".51" = zext i32 %".50" to i64
  %".52" = trunc i64 %".51" to i8
  %".53" = zext i8 %".52" to i64
  %".54" = and i64 %".53", 63
  %".55" = lshr i64 127996265, %".54"
  %".56" = zext i8 3 to i64
  %".57" = and i64 %".56", 63
  %".58" = lshr i64 %".11", %".57"
  %".59" = and i64 15, %".58"
  %".60" = or i64 1, %".59"
  %".61" = trunc i64 %".60" to i32
  %".62" = zext i32 %".61" to i64
  %".63" = trunc i64 %".62" to i8
  %".64" = zext i8 %".63" to i64
  %".65" = and i64 %".64", 63
  %".66" = shl i64 127996265, %".65"
  %".67" = or i64 %".55", %".66"
  %".68" = zext i8 4 to i64
  %".69" = and i64 %".68", 63
  %".70" = lshr i64 %".67", %".69"
  %".71" = and i64 15, %".70"
  %".72" = or i64 1, %".71"
  %".73" = trunc i64 %".72" to i8
  %".74" = zext i8 %".73" to i64
  %".75" = and i64 %".74", 63
  %".76" = shl i64 %"SymVar_0", %".75"
  %".77" = or i64 %".43", %".76"
  %".78" = and i64 31, %".77"
  %".79" = zext i8 4 to i64
  %".80" = and i64 %".79", 63
  %".81" = shl i64 %".78", %".80"
  %".82" = or i64 %".81", %".11"
  %".83" = and i64 15, %".82"
  %".84" = zext i8 2 to i64
  %".85" = and i64 %".84", 63
  %".86" = shl i64 %".83", %".85"
  %".87" = or i64 %".86", %".82"
  %".88" = and i64 15, %".87"
  %".89" = or i64 1, %".88"
  %".90" = sub i64 64, %".89"
  %".91" = trunc i64 %".90" to i32
  %".92" = zext i32 %".91" to i64
  %".93" = trunc i64 %".92" to i8
  %".94" = zext i8 %".93" to i64
  %".95" = and i64 %".94", 63
  %".96" = lshr i64 %".4", %".95"
  %".97" = and i64 15, %".87"
  %".98" = or i64 1, %".97"
  %".99" = trunc i64 %".98" to i8
  %".100" = zext i8 %".99" to i64
  %".101" = and i64 %".100", 63
  %".102" = shl i64 %".4", %".101"
  %".103" = or i64 %".96", %".102"
  %".104" = sext i64 343000538 to i128
  %".105" = sub i64 %"SymVar_0", 696182945
  %".106" = sext i64 %".105" to i128
  %".107" = mul i128 %".104", %".106"
  %".108" = trunc i128 %".107" to i64
  %".109" = lshr i64 %".108", 16
  %".110" = trunc i64 %".109" to i8
  %".111" = zext i8 %".110" to i16
  %".112" = lshr i64 %".108", 24
  %".113" = trunc i64 %".112" to i8
  %".114" = zext i8 %".113" to i16
  %".115" = shl i16 %".114", 8
  %".116" = or i16 %".111", %".115"
  %".117" = zext i16 %".116" to i32
  %".118" = zext i32 %".117" to i64
  %".119" = trunc i64 %".118" to i16
  %".120" = zext i16 %".119" to i32
  %".121" = zext i32 %".120" to i64
  %".122" = trunc i64 %".121" to i16
  %".123" = zext i16 %".122" to i32
  %".124" = zext i32 %".123" to i64
  %".125" = trunc i64 %".124" to i16
  %".126" = zext i16 %".125" to i32
  %".127" = zext i32 %".126" to i64
  %".128" = trunc i64 %".127" to i16
  %".129" = trunc i16 %".128" to i8
  %".130" = zext i8 %".129" to i64
  %".131" = trunc i64 %".127" to i16
  %".132" = lshr i16 %".131", 8
  %".133" = trunc i16 %".132" to i8
  %".134" = zext i8 %".133" to i64
  %".135" = shl i64 %".134", 8
  %".136" = or i64 %".130", %".135"
  %".137" = lshr i64 %".108", 32
  %".138" = trunc i64 %".137" to i8
  %".139" = zext i8 %".138" to i16
  %".140" = lshr i64 %".108", 40
  %".141" = trunc i64 %".140" to i8
  %".142" = zext i8 %".141" to i16
  %".143" = shl i16 %".142", 8
  %".144" = or i16 %".139", %".143"
  %".145" = zext i16 %".144" to i32
  %".146" = zext i32 %".145" to i64
  %".147" = trunc i64 %".146" to i16
  %".148" = zext i16 %".147" to i32
  %".149" = zext i32 %".148" to i64
  %".150" = trunc i64 %".149" to i16
  %".151" = zext i16 %".150" to i32
  %".152" = zext i32 %".151" to i64
  %".153" = trunc i64 %".152" to i16
  %".154" = zext i16 %".153" to i32
  %".155" = zext i32 %".154" to i64
  %".156" = trunc i64 %".155" to i16
  %".157" = trunc i16 %".156" to i8
  %".158" = zext i8 %".157" to i64
  %".159" = shl i64 %".158", 16
  %".160" = or i64 %".136", %".159"
  %".161" = trunc i64 %".155" to i16
  %".162" = lshr i16 %".161", 8
  %".163" = trunc i16 %".162" to i8
  %".164" = zext i8 %".163" to i64
  %".165" = shl i64 %".164", 24
  %".166" = or i64 %".160", %".165"
  %".167" = lshr i64 %".108", 48
  %".168" = trunc i64 %".167" to i8
  %".169" = zext i8 %".168" to i16
  %".170" = lshr i64 %".108", 56
  %".171" = trunc i64 %".170" to i8
  %".172" = zext i8 %".171" to i16
  %".173" = shl i16 %".172", 8
  %".174" = or i16 %".169", %".173"
  %".175" = zext i16 %".174" to i32
  %".176" = zext i32 %".175" to i64
  %".177" = trunc i64 %".176" to i16
  %".178" = zext i16 %".177" to i32
  %".179" = zext i32 %".178" to i64
  %".180" = trunc i64 %".179" to i16
  %".181" = zext i16 %".180" to i32
  %".182" = zext i32 %".181" to i64
  %".183" = trunc i64 %".182" to i16
  %".184" = zext i16 %".183" to i32
  %".185" = zext i32 %".184" to i64
  %".186" = trunc i64 %".185" to i16
  %".187" = zext i16 %".186" to i32
  %".188" = zext i32 %".187" to i64
  %".189" = trunc i64 %".188" to i16
  %".190" = zext i16 %".189" to i32
  %".191" = zext i32 %".190" to i64
  %".192" = trunc i64 %".191" to i16
  %".193" = zext i16 %".192" to i32
  %".194" = zext i32 %".193" to i64
  %".195" = trunc i64 %".194" to i16
  %".196" = zext i16 %".195" to i32
  %".197" = zext i32 %".196" to i64
  %".198" = trunc i64 %".197" to i16
  %".199" = trunc i16 %".198" to i8
  %".200" = zext i8 %".199" to i64
  %".201" = shl i64 %".200", 32
  %".202" = or i64 %".166", %".201"
  %".203" = trunc i64 %".197" to i16
  %".204" = lshr i16 %".203", 8
  %".205" = trunc i16 %".204" to i8
  %".206" = zext i8 %".205" to i64
  %".207" = shl i64 %".206", 40
  %".208" = or i64 %".202", %".207"
  %".209" = trunc i64 %".108" to i8
  %".210" = zext i8 %".209" to i16
  %".211" = lshr i64 %".108", 8
  %".212" = trunc i64 %".211" to i8
  %".213" = zext i8 %".212" to i16
  %".214" = shl i16 %".213", 8
  %".215" = or i16 %".210", %".214"
  %".216" = zext i16 %".215" to i32
  %".217" = zext i32 %".216" to i64
  %".218" = trunc i64 %".217" to i16
  %".219" = zext i16 %".218" to i32
  %".220" = zext i32 %".219" to i64
  %".221" = trunc i64 %".220" to i16
  %".222" = trunc i16 %".221" to i8
  %".223" = zext i8 %".222" to i64
  %".224" = shl i64 %".223", 48
  %".225" = or i64 %".208", %".224"
  %".226" = trunc i64 %".220" to i16
  %".227" = lshr i16 %".226", 8
  %".228" = trunc i16 %".227" to i8
  %".229" = zext i8 %".228" to i64
  %".230" = shl i64 %".229", 56
  %".231" = or i64 %".225", %".230"
  %".232" = zext i8 2 to i64
  %".233" = and i64 %".232", 63
  %".234" = lshr i64 %".231", %".233"
  %".235" = and i64 15, %".234"
  %".236" = or i64 1, %".235"
  %".237" = sub i64 64, %".236"
  %".238" = trunc i64 %".237" to i32
  %".239" = zext i32 %".238" to i64
  %".240" = trunc i64 %".239" to i8
  %".241" = zext i8 %".240" to i64
  %".242" = and i64 %".241", 63
  %".243" = lshr i64 %".77", %".242"
  %".244" = zext i8 %".129" to i64
  %".245" = zext i8 %".133" to i64
  %".246" = shl i64 %".245", 8
  %".247" = or i64 %".244", %".246"
  %".248" = zext i8 %".157" to i64
  %".249" = shl i64 %".248", 16
  %".250" = or i64 %".247", %".249"
  %".251" = zext i8 %".163" to i64
  %".252" = shl i64 %".251", 24
  %".253" = or i64 %".250", %".252"
  %".254" = zext i8 %".199" to i64
  %".255" = shl i64 %".254", 32
  %".256" = or i64 %".253", %".255"
  %".257" = zext i8 %".205" to i64
  %".258" = shl i64 %".257", 40
  %".259" = or i64 %".256", %".258"
  %".260" = zext i8 %".222" to i64
  %".261" = shl i64 %".260", 48
  %".262" = or i64 %".259", %".261"
  %".263" = zext i8 %".228" to i64
  %".264" = shl i64 %".263", 56
  %".265" = or i64 %".262", %".264"
  %".266" = zext i8 2 to i64
  %".267" = and i64 %".266", 63
  %".268" = lshr i64 %".265", %".267"
  %".269" = and i64 15, %".268"
  %".270" = or i64 1, %".269"
  %".271" = trunc i64 %".270" to i8
  %".272" = zext i8 %".271" to i64
  %".273" = and i64 %".272", 63
  %".274" = shl i64 %".77", %".273"
  %".275" = or i64 %".243", %".274"
  %".276" = zext i8 4 to i64
  %".277" = and i64 %".276", 63
  %".278" = lshr i64 %".275", %".277"
  %".279" = and i64 15, %".278"
  %".280" = or i64 1, %".279"
  %".281" = sub i64 64, %".280"
  %".282" = trunc i64 %".281" to i8
  %".283" = zext i8 %".282" to i64
  %".284" = and i64 %".283", 63
  %".285" = shl i64 %".103", %".284"
  %".286" = and i64 15, %".87"
  %".287" = or i64 1, %".286"
  %".288" = sub i64 64, %".287"
  %".289" = trunc i64 %".288" to i32
  %".290" = zext i32 %".289" to i64
  %".291" = trunc i64 %".290" to i8
  %".292" = zext i8 %".291" to i64
  %".293" = and i64 %".292", 63
  %".294" = lshr i64 %".4", %".293"
  %".295" = and i64 15, %".87"
  %".296" = or i64 1, %".295"
  %".297" = trunc i64 %".296" to i8
  %".298" = zext i8 %".297" to i64
  %".299" = and i64 %".298", 63
  %".300" = shl i64 %".4", %".299"
  %".301" = or i64 %".294", %".300"
  %".302" = zext i8 %".129" to i64
  %".303" = zext i8 %".133" to i64
  %".304" = shl i64 %".303", 8
  %".305" = or i64 %".302", %".304"
  %".306" = zext i8 %".157" to i64
  %".307" = shl i64 %".306", 16
  %".308" = or i64 %".305", %".307"
  %".309" = zext i8 %".163" to i64
  %".310" = shl i64 %".309", 24
  %".311" = or i64 %".308", %".310"
  %".312" = zext i8 %".199" to i64
  %".313" = shl i64 %".312", 32
  %".314" = or i64 %".311", %".313"
  %".315" = zext i8 %".205" to i64
  %".316" = shl i64 %".315", 40
  %".317" = or i64 %".314", %".316"
  %".318" = zext i8 %".222" to i64
  %".319" = shl i64 %".318", 48
  %".320" = or i64 %".317", %".319"
  %".321" = zext i8 %".228" to i64
  %".322" = shl i64 %".321", 56
  %".323" = or i64 %".320", %".322"
  %".324" = zext i8 2 to i64
  %".325" = and i64 %".324", 63
  %".326" = lshr i64 %".323", %".325"
  %".327" = and i64 15, %".326"
  %".328" = or i64 1, %".327"
  %".329" = sub i64 64, %".328"
  %".330" = trunc i64 %".329" to i32
  %".331" = zext i32 %".330" to i64
  %".332" = trunc i64 %".331" to i8
  %".333" = zext i8 %".332" to i64
  %".334" = and i64 %".333", 63
  %".335" = lshr i64 %".77", %".334"
  %".336" = zext i8 %".129" to i64
  %".337" = zext i8 %".133" to i64
  %".338" = shl i64 %".337", 8
  %".339" = or i64 %".336", %".338"
  %".340" = zext i8 %".157" to i64
  %".341" = shl i64 %".340", 16
  %".342" = or i64 %".339", %".341"
  %".343" = zext i8 %".163" to i64
  %".344" = shl i64 %".343", 24
  %".345" = or i64 %".342", %".344"
  %".346" = zext i8 %".199" to i64
  %".347" = shl i64 %".346", 32
  %".348" = or i64 %".345", %".347"
  %".349" = zext i8 %".205" to i64
  %".350" = shl i64 %".349", 40
  %".351" = or i64 %".348", %".350"
  %".352" = zext i8 %".222" to i64
  %".353" = shl i64 %".352", 48
  %".354" = or i64 %".351", %".353"
  %".355" = zext i8 %".228" to i64
  %".356" = shl i64 %".355", 56
  %".357" = or i64 %".354", %".356"
  %".358" = zext i8 2 to i64
  %".359" = and i64 %".358", 63
  %".360" = lshr i64 %".357", %".359"
  %".361" = and i64 15, %".360"
  %".362" = or i64 1, %".361"
  %".363" = trunc i64 %".362" to i8
  %".364" = zext i8 %".363" to i64
  %".365" = and i64 %".364", 63
  %".366" = shl i64 %".77", %".365"
  %".367" = or i64 %".335", %".366"
  %".368" = zext i8 4 to i64
  %".369" = and i64 %".368", 63
  %".370" = lshr i64 %".367", %".369"
  %".371" = and i64 15, %".370"
  %".372" = or i64 1, %".371"
  %".373" = trunc i64 %".372" to i32
  %".374" = zext i32 %".373" to i64
  %".375" = trunc i64 %".374" to i8
  %".376" = zext i8 %".375" to i64
  %".377" = and i64 %".376", 63
  %".378" = lshr i64 %".301", %".377"
  %".379" = or i64 %".285", %".378"
  ret i64 %".379"
}
